Multi-scale verification of distributed synchronisation
نویسندگان
چکیده
منابع مشابه
Adaptive Optimistic Synchronisation for Multi-agent Distributed Simulation
In this paper we describe an adaptive, optimistic synchronisation mechanism for the parallel discrete event simulation of agent-based systems. The mechanism uses the Sphere of Influence (SoI) of an event (the region of the shared simulation state read or written to by the event) to define an adaptive metric which can be used with a throttling mechanism such as moving time windows. We show how s...
متن کاملSimulating Distributed Clock Synchronisation
Clock synchronisation algorithms for distributed systems are complex and diicult to study in situ. This report describes how a commercial simulation tool for embedded systems can be used to simulate the behaviour of a simple clock synchronisation algorithm.
متن کاملDistributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper presents our efforts in addressing these issues by combining an efficient use of hard disk with the distribution of the state space on several computing nodes. The approach is applicable to clusters and multi-core machi...
متن کاملDistributed Multi-Agent MSBN: Implementing Verification
Multiply Sectioned Bayesian Networks (MSBN) provide a coherence framework for multi-agent distributed interpretation tasks. During the construction or dynamic formation of an MSBN, automatic verification of d-sepset and the acyclicity of the overall structure is desired. Although verification has been implemented in a time-sharing fashion, new issues must be resolved in order to perform such ve...
متن کاملFace Verification with Multi-Task and Multi-Scale Features Fusion
Face verification for unrestricted faces in the wild is a challenging task. This paper proposes a method based on two deep convolutional neural networks(CNN) for face verification. In this work, we explore to use identification signal to supervise one CNN and the combination of semi-verification and identification to train the other one. In order to estimate semi-verification loss at a low comp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 2020
ISSN: 0925-9856,1572-8102
DOI: 10.1007/s10703-020-00347-z